Resumen:
Logics for social networks have been studied in the recent literature. This paper presents a framework based on dynamic term-modal logic (DTML), a quantified variant of dynamic epistemic logic (DEL). In contrast with DEL where it is commonly known to whom agent names refer, DTML can represent dynamics with uncertainty about agent identity. We exemplify dynamics where such uncertainty and de re/de dicto distinctions are key to social network epistemics. Technically, we show that DTML semantics can represent a popular class of hybrid logic epistemic social network models. We also show that DTML can encode previously discussed dynamics for which finding a complete logic was left open. As complete reduction axioms systems exist for DTML, this yields a complete system for the dynamics in question.
Índice de impacto JCR y cuartil WoS: 0,700 - Q2 (2022); 0,700 - Q1 (2023)
Referencia DOI:
https://doi.org/10.1093/logcom/exac019
Publicado en papel: Septiembre 2022.
Publicado on-line: Mayo 2022.
Cita:
A. Occhipinti Liberman, R.K. Rendsvig, Reasoning about epistemic social network dynamics using dynamic term-modal logic. Journal of Logic and Computation. Vol. 32, nº. 6, pp. 1067 - 1087, Septiembre 2022. [Online: Mayo 2022]
